(declare-fun x0 () Real)
(declare-fun x1 () Real)
(declare-fun x2 () Real)
(assert (< (+ (* x1 x0))))
(assert (>= (+ (* (- 9) x1) (* x2)) 0))
(assert (or (xor (>= (+ (* (- 36) x1)) 0))))
(assert (or (>= (+ (* x2 x0)) (- 46)) (not (> (+ (* x0)) 0))))
(check-sat)
(push)
(assert (or (> (* (* x1 (- 22) x1)) 8) (<= (+ (* (- 47) x2)) 46)))
(check-sat)
(pop)
(check-sat)
(check-sat)
(check-sat)
